The Chu Construction
نویسندگان
چکیده
We take another look at the Chu construction and show how to simplify it by looking at it as a module category in a trivial Chu category This simpli es the construction substantially especially in the case of a non symmetric biclosed monoidal category We also show that if the original category is accessible then for any of a large class of polynomial like functors the category of coalgebras has cofree objects
منابع مشابه
Intensional double glueing, biextensional collapse, and the Chu construction
The superficial similarity between the Chu construction and the Hyland-Tan double glueing construction G has been observed widely. This paper establishes a more formal mathematical relationship between the two. We show that double glueing on relations subsumes the Chu construction on sets: we present a full monoidal embedding of the category chu(Set,K) of biextensional Chu spaces over K into G(...
متن کاملMixed Pyolaryngocele: A Rare Case of Deep Neck Infection
Introduction: Pyolaryngocele is a very rare and serious complication of laryngocele. It can present as deep neck space infection and mislead the diagnosis. Our aim is to bring this unusual entity to the attention of surgeons and describe its clinical features. Case Report: We report a case of a 45-year-old male patient with a five-week history of neck swelling, dysphonia, dyspnea and odynophagi...
متن کاملUsing the Chu Construction for Generalizing Formal Concept Analysis
The goal of this paper is to show a connection between FCA generalisations and the Chu construction on the category ChuCors, the category of formal contexts and Chu correspondences. All needed categorical properties like categorical product, tensor product and its bifunctor properties are presented and proved. Finally, the second order generalisation of FCA is represented by a category built up...
متن کاملDialectica and Chu Constructions: Cousins?
This note investigates two generic constructions used to produce categorical models of linear logic, the Chu construction and the Dialectica construction, in parallel. The constructions have the same objects, but are rather different in other ways. We discuss similarities and differences and prove that the Dialectica construction can be done over a symmetric monoidal closed basis. We also point...
متن کاملTopological Balls
Résumé. Cet article montre comment on peut utiliser la construction de Chu afin de simplifier la construction assez complexe de la catégorie ∗-autonome des boules qui sont réflexives et ζ-ζ∗-complètes donnée par le premier auteur dans les articles [Barr, 1976, 1979]. Abstract. This paper shows how the use of the “Chu construction” can simplify the rather complicated construction of the ∗-autono...
متن کامل